R FSIM;PASrun.LDI[LIB,S1],?F.LDI,numer1.LDI[LIB,S1]↔ αxcore 500000↔ | R FSIM;PASsix.LDI[LIB,S1],?F.LDI,numer1.LDI[LIB,S1]↔ αxcore 500000↔ | R FSIM;PASRUN[LIB,S1],?f.ldi↔ αXCORE 1300000↔ αXEX↔ SA ?f↔